Verification of Producer-Consumer Synchronization in GPU Programs Abstract tive to the standard data-parallel programming model for targeting GPUs. Warp-specialized kernels assign different

Source URL: legion.stanford.edu

Context DFG Coordinated Checkpoint Global rollback Partial rollback Perspectives Fault tolerance for a data flow model Improve classical fault tolerance protocols using the application knowledge given by its data flow r

Source URL: besseron.gforge.uni.lu

• Application programming interfaces
• Fault-tolerant system
• Software
• Software quality
• Extensible Storage Engine
• Parallel computing
• Grid computing
• Data flow diagram
• Document Object Model
• Computing
• Fault-tolerant computer systems
• Data management

ProcInternational Conference on Logic Programming, pp. 631–645, MIT Press. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems1

Source URL: clip.dia.fi.upm.es

• Constraint programming
• Logic programming
• Programming paradigms
• Actor model
• Prolog
• Constraint logic programming
• Unification
• Variable
• Free variables and bound variables
• Software engineering
• Computing
• Computer programming

Issues of the Automati Generation of HPF Loop Programs Peter Faber, Martin Griebl, and Christian Lengauer Fakultat fur Mathematik und Informatik Universitat Passau, D{94030 Passau, Germany email: ffaber,griebl,lengau

Source URL: www.infosun.fim.uni-passau.de

• Computer programming
• Software engineering
• Parallel computing
• Automatic parallelization
• Polytope model
• Parallel programming model
• Data parallelism
• Array
• Mathematical optimization
• Compiler optimizations
• Computing
• Programming paradigms

WEB COMPUTING WEB COMPUTING Editor: Geoffrey Fox, JAVA AND GRANDE APPLICATIONS

Source URL: www.lanl.gov

• Cross-platform software
• Java programming language
• Java performance
• Java
• Standard Performance Evaluation Corporation
• Distributed computing
• Actor model
• Fortran
• Parallel computing
• Computing
• Java platform
• Computing platforms

Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification; D.2.5 [Software Engineering]: Testing and Debugging Keywords Asynchronous programming; state machines; concurrency; static d

Source URL: www.doc.ic.ac.uk

• Actuarial science
• Econometrics
• Regression analysis
• Algorithm
• Parallel computing
• IP
• Actor model
• Applied mathematics
• Mathematics
• Theoretical computer science

Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs Simplified mainstream (Java, C++)

Source URL: hboehm.info

• Concurrency control
• Computer memory
• Compiler construction
• Programming language design
• OpenMP
• Lock
• Memory model
• Linearizability
• Thread
• Computing
• Software engineering
• Parallel computing

Actors that Unify Threads and Events Philipp Haller, EPFL joint work with Martin Odersky, EPFL Implementing Concurrent Processes

Source URL: lampwww.epfl.ch

• Functional languages
• Concurrent computing
• Java platform
• Scala
• Erlang
• Actor model
• Thread
• Parallel computing
• Martin Odersky
• Computing
• Software engineering
• Computer programming

STEPHEN F. SIEGEL Curriculum Vitæ Department of Computer and Information Sciences 101 Smith Hall University of Delaware

Source URL: vsl.cis.udel.edu

• Concurrent computing
• Application programming interfaces
• Message Passing Interface
• Jack Dongarra
• Model checking
• Formal verification
• Bill Gropp
• Actor model
• Computer cluster
• Computing
• Parallel computing
• Computer programming

10-pldi-adve-boehm-tutorial

Source URL: hboehm.info

• Compiler construction
• Concurrency
• Programming language design
• Memory model
• Parallel computing
• Thread
• Memory barrier
• Parallel programming model
• Computing
• Software engineering
• Computer memory